Dowek, Gilles : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (84)
Les plus populaires
Liste
- Liste
- Tableau

1

The Age of Algorithms || Fairness, Transparency, and Diversity

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 72 KB

english, 2020

2

THE PHYSICAL CHURCH-TURING THESIS AND THE PRINCIPLES OF QUANTUM THEORY

ARRIGHI, PABLO, DOWEK, GILLES

Journal:

International Journal of Foundations of Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 238 KB

english, 2012

3

The Age of Algorithms || The Augmented Human

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 64 KB

english, 2020

4

[Undergraduate Topics in Computer Science] Introduction to the Theory of Programming Languages Volume 38 || References and Assignment

Dowek, Gilles, Lévy, Jean-Jacques

Année:

2011

Langue:

english

Fichier:

PDF, 140 KB

english, 2011

5

Higher Order Unification via Explicit Substitutions

Gilles Dowek, Thérèse Hardin, Claude Kirchner

Journal:

Information and Computation

Année:

2000

Langue:

english

Fichier:

PDF, 481 KB

english, 2000

6

The Age of Algorithms || Algorithms Intrigue, Algorithms Disturb

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 40 KB

english, 2020

7

The Age of Algorithms || Computer Science and Ecology

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 61 KB

english, 2020

8

The Age of Algorithms || Personal Data and Privacy

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 78 KB

english, 2020

9

The Age of Algorithms || Computational Thinking

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 63 KB

english, 2020

10

The Age of Algorithms || Can an Algorithm Be Intelligent?

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 56 KB

english, 2020

11

The Age of Algorithms || Computer Science Education

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 69 KB

english, 2020

12

The Age of Algorithms || The Responsibility of Algorithms

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 64 KB

english, 2020

13

Third order matching is decidable

Journal:

Annals of Pure and Applied Logic

Année:

1994

Langue:

english

Fichier:

PDF, 1.42 MB

english, 1994

14

Causal graph dynamics

Pablo Arrighi, Gilles Dowek

Journal:

Information and Computation

Année:

2013

Langue:

english

Fichier:

PDF, 481 KB

english, 2013

15

Permissive-nominal logic

Dowek, Gilles, Gabbay, Murdoch J.

Journal:

ACM Transactions on Computational Logic

Année:

2012

Langue:

english

Fichier:

PDF, 548 KB

english, 2012

16

The Age of Algorithms || What Is an Algorithm?

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 449 KB

english, 2020

17

The Age of Algorithms || The End of Work

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 71 KB

english, 2020

18

The Age of Algorithms || Time to Choose

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 28 KB

english, 2020

19

The Age of Algorithms || Algorithms, Computers, and Programs

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 78 KB

english, 2020

20

The Age of Algorithms || The End of Employment

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 59 KB

english, 2020

21

The Age of Algorithms || Can an Algorithm Have Feelings?

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 45 KB

english, 2020

22

The Age of Algorithms || An Algorithm in the Community

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 57 KB

english, 2020

23

The Age of Algorithms || The End of Property

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 74 KB

english, 2020

24

The Age of Algorithms || Governing in the Age of Algorithms

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 66 KB

english, 2020

25

The Age of Algorithms || What Algorithms Donât Do

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 71 KB

english, 2020

26

The Age of Algorithms || What Algorithms Do

Abiteboul, Serge, Dowek, Gilles, Nelson, K-Rae

Année:

2020

Langue:

english

Fichier:

PDF, 58 KB

english, 2020

27

The undecidability of pattern matching in calculi where primitive recursive functions are representable

Journal:

Theoretical Computer Science

Année:

1993

Langue:

english

Fichier:

PDF, 510 KB

english, 1993

28

A Computational Definition of the Notion of Vectorial Space

Pablo Arrighi, Gilles Dowek

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 245 KB

english, 2005

29

Eigenvariables, bracketing and the decidability of positive minimal predicate logic

Gilles Dowek, Ying Jiang

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 226 KB

english, 2006

30

Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic

Gilles Dowek, Ying Jiang

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 680 KB

english, 2003

31

Formal verification of conflict detection algorithms

César Muñoz, Víctor Carreño, Gilles Dowek, Ricky Butler

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2003

Langue:

english

Fichier:

PDF, 212 KB

english, 2003

32

Preface

Alessandro Armando, Peter Baumgartner, Gilles Dowek

Journal:

Journal of Automated Reasoning

Année:

2010

Langue:

english

Fichier:

PDF, 115 KB

english, 2010

33

Preface

Olivier Bournez, Gilles Dowek

Journal:

Natural Computing

Année:

2012

Langue:

english

Fichier:

PDF, 94 KB

english, 2012

34

On the Convergence of Reduction-based and Model-based Methods in Proof Theory

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 194 KB

english, 2008

35

The physical Church thesis as an explanation of the Galileo thesis

Journal:

Natural Computing

Année:

2012

Langue:

english

Fichier:

PDF, 224 KB

english, 2012

36

On the expressive power of schemes

Gilles Dowek, Ying Jiang

Journal:

Information and Computation

Année:

2011

Langue:

english

Fichier:

PDF, 227 KB

english, 2011

37

Provably correct conflict prevention bands algorithms

Anthony Narkawicz, César Muñoz, Gilles Dowek

Journal:

Science of Computer Programming

Année:

2012

Langue:

english

Fichier:

PDF, 404 KB

english, 2012

38

A formal library of set relations and its application to synchronous languages

Camilo Rocha, César Muñoz, Gilles Dowek

Journal:

Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 372 KB

english, 2011

39

PNL to HOL: From the logic of nominal sets to the logic of higher-order functions

Gilles Dowek, Murdoch J. Gabbay

Journal:

Theoretical Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 585 KB

english, 2012

40

[Undergraduate Topics in Computer Science] Introduction to the Theory of Programming Languages ||

Dowek, Gilles, Lévy, Jean-Jacques

Année:

2011

Langue:

english

Fichier:

PDF, 804 KB

english, 2011

41

[Undergraduate Topics in Computer Science] Proofs and Algorithms ||

Année:

2011

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2011

42

[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation, and Control Conference and Exhibit - San Francisco, California ()] AIAA Guidance, Navigation, and Control Conference and Exhibit - Provably Safe Coordinated Strategy for Distributed Conflict Resolution

Dowek, Gilles, Munoz, Cesar, Carreno, Victor

Année:

2005

Langue:

english

Fichier:

PDF, 414 KB

english, 2005

43

[American Institute of Aeronautics and Astronautics 7th AIAA ATIO Conf, 2nd CEIAT Int'l Conf on Innov and Integr in Aero Sciences,17th LTA Systems Tech Conf; followed by 2nd TEOS Forum - Belfast, Northern Ireland (18 September 2007 - 20 September 2007)] 7th AIAA ATIO Conf, 2nd CEIAT Int'l Conf on Innov and Integr in Aero Sciences,17th LTA Systems Tech Conf; followed by 2nd TEOS Forum - Conflict Detection and Resolution for 1,2,... N Aircraft

Dowek, Gilles, Munoz, Cesar

Année:

2007

Langue:

english

Fichier:

PDF, 292 KB

english, 2007

44

[American Institute of Aeronautics and Astronautics 9th AIAA Aviation Technology, Integration, and Operations Conference (ATIO) - Hilton Head, South Carolina ()] 9th AIAA Aviation Technology, Integration, and Operations Conference (ATIO) - A Mathematical Analysis of Conflict Prevention Information

Maddalon, Jeffrey, Butler, Rick, Muñoz, César, Dowek, Gilles

Année:

2009

Langue:

english

Fichier:

PDF, 272 KB

english, 2009

45

A Simple Proof that Super-Consistency Implies Cut Elimination

Dowek, Gilles, Hermant, Olivier

Journal:

Notre Dame Journal of Formal Logic

Année:

2012

Langue:

english

Fichier:

PDF, 354 KB

english, 2012

46

Proof Normalization Modulo

Gilles Dowek and Benjamin Werner

Journal:

Journal of Symbolic Logic

Année:

2003

Langue:

english

Fichier:

PDF, 512 KB

english, 2003

47

[Lecture Notes in Computer Science] Rewriting and Typed Lambda Calculi Volume 8560 ||

Année:

2014

Langue:

english

Fichier:

PDF, 9.14 MB

english, 2014

48

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1690 || A Machine-Checked Theory of Floating Point Arithmetic

Bertot, Yves, Dowek, Gilles, Théry, Laurent, Hirschowitz, André, Paulin, Christine

Année:

1999

Langue:

english

Fichier:

PDF, 187 KB

english, 1999

49

[Lecture Notes in Computer Science] Rewriting and Typed Lambda Calculi Volume 8560 || Unification and Logarithmic Space

Année:

2014

Langue:

english

Fichier:

PDF, 312 KB

english, 2014

50

Proof normalization modulo

Dowek, Gilles, Werner, Benjamin

Journal:

Journal of Symbolic Logic

Année:

2003

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2003